Formal Analysis of a Fault-Tolerant Routing Algorithm for a Network-on-Chip

International audienceA fault-tolerant routing algorithm in Network-on-Chip architectures provides adaptivity for on-chip communications. Adding fault-tolerance adaptivity to a routing algorithm increases its design complexity and makes it prone to deadlock and other problems if improperly implemented. Formal verification techniques are needed to check the correctness of the design. This paper performs formal analysis on an extension of the link-fault tolerant Network-on-Chip architecture introduced by Wu et al. that supports multiflit wormhole routing. This paper describes several lessons learned during the process of constructing a formal model of this routing architecture. Finally, this paper presents how the deadlock freedom and tolerance to a single-link fault is verified for a two-by-two mesh version of this routing architecture

Nitric oxide synthases in infants and children with pulmonary hypertension and congenital heart disease

Nitric oxide is an important regulator of vascular tone in the pulmonary circulation. Surgical correction of congenital heart disease limits pulmonary hypertension to a brief period. The study has measured expression of endothelial (eNOS), inducible (iNOS), and neuronal nitric oxide synthase (nNOS) in the lungs from biopsies of infants with pulmonary hypertension secondary to cardiac abnormalities (n = 26), compared to a control group who did not have pulmonary or cardiac disease (n = 8). eNOS, iNOS and nNOS were identified by immunohistochemistry and quantified in specific cell types. Significant increases of eNOS and iNOS staining were found in pulmonary vascular endothelial cells of patients with congenital heart disease compared to control infants. These changes were confined to endothelial cells and not present in other cell types. Patients who strongly expressed eNOS also had strong expression of iNOS. Upregulation of eNOS and iNOS occurs at an early stage of pulmonary hypertension, and may be a compensatory mechanism limiting the rise in pulmonary artery pressure

A systematic autopsy survey of human infant bridging veins

In the first years of life, subdural haemorrhage (SDH) within the cranial cavity can occur through accidental and non-accidental mechanisms as well as from birth-related injury. This type of bleeding is the most common finding in victims of abusive head trauma (AHT). Historically, the most frequent cause of SDHs in infancy is suggested to be traumatic damage to bridging veins traversing from the brain to the dural membrane. However, several alternative hypotheses have been suggested for the cause and origin of subdural bleeding. It has also been suggested by some that bridging veins are too large to rupture through the forces associated with AHT. To date, there have been no systematic anatomical studies on infant bridging veins. During 43 neonatal, infant and young child post-mortem examinations, we have mapped the locations and numbers of bridging veins onto a 3D model of the surface of a representative infant brain. We have also recorded the in situ diameter of 79 bridging veins from two neonatal, one infant and two young children at post-mortem examination. Large numbers of veins, both distant from and directly entering the dural venous sinuses, were discovered travelling between the brain and dural membrane, with the mean number of veins per brain being 54.1 and the largest number recorded as 94. The mean diameter of the bridging veins was 0.93 mm, with measurements ranging from 0.05 to 3.07 mm. These data demonstrate that some veins are extremely small and subjectively, and they appear to be delicate. Characterisation of infant bridging veins will contribute to the current understanding of potential vascular sources of subdural bleeding and could also be used to further develop computational models of infant head injury

The Inadequate Oxygen Delivery Index and Low Cardiac Output Syndrome Score As predictors of Adverse Events Associated With Low Cardiac Output Syndrome Early After Cardiac Bypass

OBJECTIVES: To evaluate the effectiveness of two scoring systems, the inadequate oxygen delivery index, a risk analytics algorithm (Etiometry, Boston, MA) and the Low Cardiac Output Syndrome Score, in predicting adverse events recognized as indicative of low cardiac output syndrome within 72 hours of surgery. DESIGN: A retrospective observational pair-matched study. SETTING: Tertiary pediatric cardiac ICU. PATIENTS: Children undergoing cardiac bypass for congenital heart defects. Cases experienced an adverse event linked to low cardiac output syndrome in the 72 hours following surgery (extracorporeal membrane oxygenation, renal replacement therapy, cardiopulmonary resuscitation, and necrotizing enterocolitis) and were matched with a control patient on criteria of procedure, diagnosis, and age who experienced no such event. INTERVENTIONS: None. MEASUREMENTS AND MAIN RESULTS: Of a total 536 bypass operations in the study period, 38 patients experienced one of the defined events. Twenty-eight cases were included in the study after removing patients who suffered an event after 72 hours or who had insufficient data. Clinical and laboratory data were collected to derive scores for the first 12 hours after surgery. The inadequate oxygen delivery index was calculated by Etiometry using vital signs and laboratory data. A modified Low Cardiac Output Syndrome Score was calculated from clinical and therapeutic markers. The mean inadequate oxygen delivery and modified Low Cardiac Output Syndrome Score were compared within each matched pair using the Wilcoxon signed-rank test. Inadequate oxygen delivery correctly differentiated adverse events in 13 of 28 matched pairs, with no evidence of inadequate oxygen delivery being higher in cases (p = 0.71). Modified Low Cardiac Output Syndrome Score correctly differentiated adverse events in 23 of 28 matched pairs, with strong evidence of a raised score in low cardiac output syndrome cases (p < 0.01). CONCLUSIONS: Although inadequate oxygen delivery is an Food and Drug Administration approved indicator of risk for low mixed venous oxygen saturation, early postoperative average values were not linked with medium-term adverse events. The indicators included in the modified Low Cardiac Output Syndrome Score had a much stronger association with the specified adverse events

Prevalence of MRI abnormalities in people with epilepsy in rural China

OBJECTIVE: To assess the prevalence of brain MRI abnormalities in people with epilepsy in rural China and to compare this with individuals in the United Kingdom. METHODS: Brain MRI scans were obtained in people with epilepsy who participated in a rural community-based program in China between July 2010 and December 2012. Individual epileptogenic lesion types were reviewed and their associations with seizure control examined. The MRI findings were compared with two previous similar studies in the United Kingdom. RESULTS: Among the 597 individuals (58% males; median age 38 years) with MRI scans analyzed, 488 (82%) had active epilepsy. The MRI was abnormal in 389 subjects (65%), with potentially epileptogenic lesion in 224 (38%) and non-specific abnormalities in 165 (28%), and 108 (18%) were potentially resectable. The potentially epileptogenic lesions were less frequently detected in children (<18 years old, 12/68, 18%) than in adults (212/529, 40%; p<0.001). In people with potentially epileptogenic lesions 67% (150/224) had failed two or more antiseizure medications. They had higher risk of uncontrolled epilepsy than those with normal MRI (risk ratio [RR]=1.25; p<0.001) and those with non-specific abnormality (RR=1.15; p=0.002), after adjusting for age and sex. The diagnostic yield of MRI was similar to that reported in community- and hospital-based studies in the United Kingdom. CONCLUSIONS: Over one-third of people with chronic epilepsy in rural China have potentially epileptogenic lesions identifiable on brain MRI, with two-thirds fulfilling the definition of pharmacoresistance. These findings highlight the magnitude of the unmet needs for epilepsy surgery in China